proof of correctness meaning in English

程序正确性证明
正确性证明

We discuss the important designing technologies used in mb - protocol and compare it with protocols related . then we give a rigorous proof of correctness mb protocol based on strand space model
在此基础上提出了一个手机银行安全协议- mb协议，分析了设计协议时使用的重要技术，并和其他相关协议进行了比较。
Chapter 6 discusses a modeling of the mst algorithm of supporting qos multicast routing , puts forward a new algorithm , simulates it and gets the results , the proof of correctness and complexity analysis of the new algorithm are given , chapter 7 summarizes this paper , at the same time , suggestions for future research are given
第6章，讨论了支持qos多播路由的基于最小生成树算法的理论模型并提出一种新的算法，试验仿真结果证明了它的效率会比传统算法大大提高。第7章，给出了本文的总结，并对下一步的工作作了展望。